#include <stdio.h>
#include "f3.c"

void f1() {
    printf("f1\n");
}
